|
|
1.
|
LOGIC FOR APPLICATIONS
by Nerode,Anil, Shore,Richard A | Schneider,Fred B. Edition: 2ndMaterial type:  Book; Format:
print
; Literary form:
not fiction
Description: xiii,456.Publisher: Springer-Verlag,New York 1997Availability: Items available for loan: PK Kelkar Library, IIT Kanpur [Call number: 005.1015113 N358L2] (1).
|
|
|
2.
|
Elements of computation theory
by Singh, Arindama. Material type: Book; Format:
print
; Literary form:
not fiction
Description: xiii, 422p.Publisher: London Springer 2009Availability: Items available for loan: PK Kelkar Library, IIT Kanpur [Call number: 004 Si64e] (1).
|
|
|
3.
|
Computability and complexity theory
by Homer, Steven | Selman, Alan L. Edition: 2ndMaterial type: Book; Format:
print
; Literary form:
not fiction
Description: xvi, 298p.Publisher: New York Springer 2011Availability: Items available for loan: PK Kelkar Library, IIT Kanpur [Call number: 004 H752c2] (1).
|
|
|
4.
|
Introduction to Assembly Language Programming
: For Pentium and RISC Processors /
: [electronic resource] :
by Dandamudi, Sivarama P [author.] | SpringerLink (Online service). Source: Springer eBooksMaterial type: Book; Format:
electronic
available online
 ; Literary form:
not fiction
Description: XXIV, 692 p. online resource.Publisher: New York, NY : Springer New York, 2005.Online access: Click here to access online Availability: Items available for loan: PK Kelkar Library, IIT Kanpur (1).
|
|
|
5.
|
An Integrated Approach to Software Engineering
: [electronic resource] /
by Jalote, Pankaj [author.] | SpringerLink (Online service). Edition: Third Edition.Source: Springer eBooksMaterial type: Book; Format:
electronic
available online
; Literary form:
not fiction
Description: XIV, 566 p. online resource.Publisher: Boston, MA : Springer US, 2005.Online access: Click here to access online Availability: Items available for loan: PK Kelkar Library, IIT Kanpur (1).
|
|
|
6.
|
Theory of Computation
: [electronic resource] /
by Kozen, Dexter C [author.] | SpringerLink (Online service). Source: Springer eBooksMaterial type: Book; Format:
electronic
available online
; Literary form:
not fiction
Description: XIV, 418 p. 1 illus. online resource.Publisher: London : Springer London, 2006.Online access: Click here to access online Availability: Items available for loan: PK Kelkar Library, IIT Kanpur (1).
|
|
|
7.
|
Ethical and Social Issues in the Information Age
: [electronic resource] /
by Kizza, Joseph Migga [author.] | SpringerLink (Online service). Source: Springer eBooksMaterial type: Book; Format:
electronic
available online
; Literary form:
not fiction
Description: XXII, 432 p. 17 illus. online resource.Publisher: London : Springer London, 2007.Online access: Click here to access online Availability: Items available for loan: PK Kelkar Library, IIT Kanpur (1).
|
|
|
8.
|
Fundamentals of the New Artificial Intelligence
: Neural, Evolutionary, Fuzzy and More /
: [electronic resource] :
by Munakata, Toshinori [editor.] | SpringerLink (Online service). Edition: Second Edition.Source: Springer eBooksMaterial type: Book; Format:
electronic
available online
; Literary form:
not fiction
Description: XI, 256 p. online resource.Publisher: London : Springer London, 2008.Online access: Click here to access online Availability: Items available for loan: PK Kelkar Library, IIT Kanpur (1).
|
|
|
9.
|
Digital Image Processing
: An Algorithmic Introduction using Java /
: [electronic resource] :
by Burger, Wilhelm [author.] | Burge, Mark James [author.] | SpringerLink (Online service). Source: Springer eBooksMaterial type: Book; Format:
electronic
available online
; Literary form:
not fiction
Description: XX, 565 p. online resource.Publisher: London : Springer London, 2008.Online access: Click here to access online Availability: Items available for loan: PK Kelkar Library, IIT Kanpur (1).
|
